symbolic language with logical grammar